n (logic) In predicate logic, an indication of the relevant set of entity | entities that are being dealt with by quantifier|quantifiers.